Nonlinear Control System Design by Quantifier Elimination
نویسندگان
چکیده
منابع مشابه
Nonlinear Control System Design by Quantifier Elimination
Many problems in control theory can be formulated as formulae in the first-order theory of real closed fields. In this paper we investigate some of the expressive power of this theory. We consider dynamical systems described by polynomial differential equations subjected to constraints on control and system variables and show how to formulate questions in the above framework which can be answer...
متن کاملApplications of Quantifier Elimination Theory to Control System Design
In this paper we show how a number of interesting linear control system analysis and design problems can be reduced to Quantiier Elimination (QE) problems. We assume a xed structure for the compensator, with design parameters q i. The problems considered are problems that currently have no general solution. However, the problems must be of modest complexity if existing QE software packages are ...
متن کاملRobust Nonlinear Feedback Design via Quantifier Elimination Theory
In this paper symbolic-computation methods are used to design simple, fixed-structure, robust controllers for nonlinear systems. Design specifications are reduced to logically quantified polynomial inequalities. The quantifier-elimination (QE) software package QEPCAD is used to eliminate quantifiers on state and plant parameters, to obtain regions of admissible controller parameters, and to gua...
متن کاملParametric Mechanism Design via Quantifier Elimination
This paper proposes an alternative automated mechanism design approach called parametric mechanism design via quantifier elimination (PMD-QE), which utilizes QE, a symbolic formula manipulation technique. In PMD-QE, we start from a skeleton of mechanisms, which is characterized by a set of parameters, e.g., critical values. The range of parameters where the given constraints are satisfied is au...
متن کاملRobust Multi-Objective Feedback Design by Quantifier Elimination
In Anderson et al. (1975) the application of Tarski–Seidenberg decision theory (Tarski, 1951, Seidenberg, 1954) for the solution of the static output feedback stabilization problem for specific problems was first proposed. The general static output feedback stabilization problem is one of the most important open problems in feedback design. The problem can be stated mathematically as follows: f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1997
ISSN: 0747-7171
DOI: 10.1006/jsco.1997.0119